Many-valued logic - PDFSEARCH.IO - Document Search Engine

Many-valued logic
Results: 76

#	Item
41	Multi-Valued Symbolic Model-Checking MARSHA CHECHIK, BENET DEVEREUX, STEVE EASTERBROOK AND ARIE GURFINKEL University of Toronto This paper introduces the concept of multi-valued model-checking and describes a multi-valu Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-07-30 17:15:50 Algebraic logic Algebraic structures Non-classical logic Boolean algebra Abstract algebra Heyting algebra Model theory Modal logic Many-valued logic Mathematical logic Logic Mathematics
42	Microsoft Word - Workshop paraconsistent deontic logic 1 Add to Reading List Source URL: www.indexicals.ac.at Language: English - Date: 2014-06-11 09:40:32 Paraconsistent logic Philosophical logic Analytic philosophers Deontic logic Graham Priest Many-valued logic Modal logic Fuzzy logic Classical logic Logic Mathematical logic Non-classical logic
43	Diversification of search results as a fuzzy satisfiability problem Steven Schockaert and Martine De Cock Dept. of Applied Mathematics and Computer Science, Ghent University, Belgium {steven.schockaert,martine.decock}@ug Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-02-18 04:59:35 Logic in computer science Model theory Artificial intelligence Fuzzy logic Non-classical logic Constructible universe Many-valued logic Interpretation Logic Science Mathematics
44	Fuzzy methods on the web: A critical discussion Steven Schockaert, Nataliya Makarytska, Martine De Cock Abstract Gradual concepts abound in many web-related domains, ranging from the notion of relevance in information re Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2010-07-07 03:41:37 Many-valued logic Fuzzy set Membership function Semantic search Information retrieval Possibility theory Type-2 fuzzy sets and systems Fuzzy mathematics Logic Fuzzy logic Mathematical logic
45	Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees Marjon Blondeel1 ? , Steven Schockaert2 ?? , Martine De Cock2 , and Dirk Vermeir1 1 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-04-05 14:54:22 Mathematics Logic programming Modal logic Autoepistemic logic Fuzzy logic Stable model semantics Many-valued logic Interpretation Model theory Logic Mathematical logic Non-classical logic
46	A Many Valued Representation and Propagation of Trust and Distrust Martine De Cock1 and Paulo Pinheiro da Silva2 1 Ghent University Add to Reading List Source URL: www.fuzzy.ugent.be Language: English - Date: 2005-09-01 11:29:38 Reputation management Sociology Logic Behavior Accountability Trust Distrust Fuzzy control system Fuzzy set Ethics Social psychology Fuzzy logic
47	ISMVL 2003 Information 33rd International Symposium on Multiple-Valued Logic[removed]May 2003 Meiji University, Tokyo, Japan Add to Reading List Source URL: science.icu.ac.jp Language: English - Date: 2003-05-13 23:21:56 Non-classical logic Logic in computer science Artificial intelligence Many-valued logic Fuzzy logic Algebraic logic Boolean algebra Logic gate Boolean function Logic Mathematical logic Mathematics
48	Working Papers Add to Reading List Source URL: www.iiia.csic.es Language: English - Date: 2012-08-02 07:07:33 Artificial intelligence Philosophical logic Fuzzy logic T-norm fuzzy logics Probabilistic logic Many-valued logic Modal logic Classical logic Epistemic modal logic Logic Mathematical logic Non-classical logic
49	A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation Ming-Ying Chung Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:47 Binary decision diagram Many-valued logic Mathematics Information science Diagrams Boolean algebra Model checking
50	Project proposal Generic Decision Procedures for Many-valued Logics Acci´on Integrada Hispano-Austr´ıacas Gernot Salzer Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-09-21 05:04:02 Fuzzy logic Logic in computer science Many-valued logic Model theory Automated theorem proving First-order logic Natural deduction Modal logic Łukasiewicz logic Logic Mathematical logic Non-classical logic

UPDATE